answer set programmingの例文

例文

もっと例文:   1  2  3  4

1. This generalization has applications to answer set programming.
2. Major logic programming language families include Prolog, Answer set programming ( ASP ) and Datalog.
3. But the use of stable models in answer set programming provides a different perspective on such programs.
4. Typically, however, a translation is given from these languages to answer set programming rather than first-order logic.
5. The autoepistemic interpretation was developed further by Gelfond and Lifschitz [ 1988 ] and is the basis of answer set programming.